61. Logic Colloquium' 96 :
Author: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA9
.
A1
E358
1998
62. Logic : a brief course
Author: Mundici, Daniele
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
Classification :
BC
71
.
L62
2012
63. Logic: a brief course
Author: Mundici, Daniele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
Classification :
QA
9
.
M86
2012
64. Logic : a brief course
Author: Mundici, Daniele, 6491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
Classification :
QA
9
.
M86L613
65. Logic and algebra of specification
Author: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35N37
1991
66. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
67. Logic and automata
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
68. Logic and discrete mathematics :
Author: Willem Conradie, Valentin Goranko.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
69. Logic for applications
Author: Nerode, Anil
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
N47
1997
70. Logic for applications
Author: / Anil Nerode, Richard A. Shore
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
,
N47
1997
71. Logic for applications /
Author: Anil Nerode, Richard A. Shore
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
N47
1997
72. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
S9393
2001
73. Logica: Metodo Breve
Author: by Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
74. Logical Methods
Author: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
75. Logical Thinking in the Pyramidal Schema of Concepts
Author: / Lutz Geldsetzer, Richard L. Schwartz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
Classification :
QA9
.
G325
2013
76. Many-sorted logic and its applications
Author: edited by K. Meinke and J.V. Tucker
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
Classification :
QA
76
.
9
.
M35
M35
1993
77. Mathematical logic for computer science
Author: Lu, Chung-wan
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
L8
1989
78. Mathematical logic for computer science
Author: Lu, Zhong-Wan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35L8
1989
79. Mathematics for computer students
Author: Witton, Rex
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
W57
1992
80. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
